Back Συμβολική λογική Greek Symbolic logic English სიმბოლური ლოგიკა Georgian Symbolische logica Dutch Символическая логика Russian
Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia. [1] Sille on kaksi tarkoitusta. Ensiksi, filosofisesta logiikan näkökulmasta symbolisen logiikan symbolien nähdään esittävän sanoja. Toiseksi, tietojenkäsittelytieteen näkökulmasta symbolisen logiikan säännöissä käsiteltävät symbolit ovat tietojenkäsittelyprosessin elementtejä.
Symbolinen logiikka jaetaan tavallisesti kahteen alaosaan, propositiologiikkaan ja predikaattilogiikkaan. Muita muotoja ovat temporaalilogiikka, modaalilogiikka ja sumea logiikka.
- ↑ Viittausvirhe: Virheellinen
<ref>-elementti;viitettäaei löytynyt